Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
151	Higher-Order Constraint Simplification In Dependent Type Theory Jason Reed ∗ Carnegie Mellon University Pittsburgh, USA [removed] Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:20 Logic programming Unification Admissible rule Mathematics Substitution of variables Symbol Mathematical logic Automated theorem proving Logic
152	Jason Reed Phone: ([removed]Email: [removed] Web: http://jcreed.org/ Education Add to Reading List Source URL: jcreed.org Language: English - Date: 2013-01-05 19:00:47 Logic in computer science Automated theorem proving Type theory Dependently typed programming Logical framework Frank Pfenning Modal logic Twelf Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical logic Mathematics
153	Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-06-03 09:06:46 Logic in computer science Automated theorem proving Dependently typed programming Type theory Formal sciences Federated Logic Conference Logic programming Workshop on Logic Language Information and Computation Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Mathematics
154	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
155	Minutes Tableaux Business Meeting Siena, Thursday, 21 June 2001, 13:30–14:00 Present members from the Tableaux Steering Committee (TSC): Roy Dyckhoff, Uwe Egly, Uli Furbach, Didier Galmiche, Rajeev Gor´e, Reiner Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:56 Theorem Proving in Higher-Order Logics Federated Logic Conference International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
156	Minutes Tableaux Business Meeting Copenhagen, DIKU, Wednesday July 31st, 17:30–18:30, Auditorium 3 Present members from the Tableaux Steering Committee (TSC): Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:58 Federated Logic Conference International Joint Conference on Automated Reasoning Theorem Proving in Higher-Order Logics Automated theorem proving Logic in computer science International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Automated reasoning Theoretical computer science Applied mathematics Computer science
157	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science
158	“Toposes as higher-order theories” prof. Peter Johnstone University of Cambridge Abstract The elementary reformulation of topos theory by Lawvere and Add to Reading List Source URL: www.dmi.unisa.it Language: English - Date: 2010-04-20 04:57:15 Mathematical constructivism Epistemology William Lawvere Mathematical logic Alexander Grothendieck Elementary definition Intuitionism Categorical logic Proof theory Mathematics Sheaf theory Topos
159	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory
160	Relating Nominal and Higher-Order Pattern Unification James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-04 14:27:22 Mathematics Unification Nominal terms Admissible rule Orbifold Natural deduction Mathematical logic Logic Symbol

UPDATE